xen x86: Fix PV guest destruction.

Signed-off-by: Dexuan Cui <dexuan.cui@intel.com>

diff --git a/xen/arch/x86/domain.c b/xen/arch/x86/domain.c
index 612fec087631c8019bb39bdeb23b48d311f90214..778b08d628463d58d12c0ea3143e91c6c0b61202 100644 (file)
--- a/xen/arch/x86/domain.c
+++ b/xen/arch/x86/domain.c
@@ -1543,7 +1543,8 @@ void domain_relinquish_resources(struct domain *d)
     /* Free page used by xen oprofile buffer. */
     free_xenoprof_pages(d);
 
-    hvm_domain_relinquish_resources(d);
+    if ( is_hvm_domain(d) )
+        hvm_domain_relinquish_resources(d);
 }
 
 void arch_dump_domain_info(struct domain *d)